801. Trends in functional programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses. ;
802. Trends in functional programming.
پدیدآورنده : edited by Henrik Nilsson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming (Computer science), Congresses.
رده :
QA76
.
62
T74
2007eb
803. Trends in functional programming.
پدیدآورنده : edited by Hans-Wolfgang Loidl.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Functional programming (Computer science), Congresses.
رده :
QA76
.
62
.
T746
2007eb
804. Trends in functional programming.
پدیدآورنده : edited by Hans-Wolfgang Loidl.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Functional programming (Computer science), Congresses.
رده :
QA76
.
62
.
T746
2007eb
805. Trends in network and pervasive computing-ARCS 2002 : International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 2002 : proceedings
پدیدآورنده : Hartmut Schmeck, Theo Ungerer, Lars Wolf )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer architecture,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2299
806. Types for proofs and programs :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Automatic theorem proving ; Congresses ; Computer programming ; Congresses ;
807. Types for proofs and programs :
پدیدآورنده : Paul Callaghan ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2000
808. Types for proofs and programs :
پدیدآورنده : Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2004
809. Types for proofs and programs
پدیدآورنده : / Paul Callaghan ... [et al.]
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Automatic theorem proving--Congresses,Computer programming--Congresses
رده :
QA
,
76
.
9
,.
A96
,
T96
,
2000
810. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
پدیدآورنده : Paul Callaghan...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
2277
811. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
پدیدآورنده : Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1657
812. Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
پدیدآورنده : Thierry Coquand...]et al.[, )Eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1956
813. Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
پدیدآورنده : Stefano Berardi, Mario Coppo, Ferruccio Damiani )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3085
814. Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
پدیدآورنده : Herman Geuvers, Freek Wiedijk )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2646
815. Unconventional programming paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004; revised selected and invited papers
پدیدآورنده : Jean-Pierre Banatre... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، High performance computing
رده :
QA
76
.
L28
Vol
.
3566
816. Unifying Theories of Programming
پدیدآورنده : \ David Naumann (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming -- Congresses.,برنامه‌نویسی -- کنگره ها
رده :
QA
76
.
6
.
U5
2015
E-Book
,
817. Unifying theories of programmin
پدیدآورنده : / Shengchao Qin (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programming--Congresses
رده :
QA
,
76
.
6
,.
U89
,
2010
818. Unifying theories of programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming ; Congresses. ;
819. Unifying theories of programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming ; Congresses. ;
820. Unifying theories of programming
پدیدآورنده : / Steve Dunne, Bill Stoddart (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programming--Congresses
رده :
QA
,
76
.
6
,.
U89
,
2006
